Integrals 201 to 300

Detailed conclusion table per each integral is given by the table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given as F.

In this table, the column N.S. means normalized size and is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To make the table fit the page, the name Mathematica was abbreviated to MMA

Problem 201

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

175 175 325 197 0 230 396 341 215

N.S.

1 1.00 1.86 1.13 0.00 1.31 2.26 1.95 1.23

time (sec)

N/A 0.183 3.196 2.026 0.000 0.254 0.406 0.278 1.464

Problem 202

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

83 83 109 95 98 96 175 87 94

N.S.

1 1.00 1.31 1.14 1.18 1.16 2.11 1.05 1.13

time (sec)

N/A 0.057 0.127 1.362 0.182 0.258 0.195 0.275 1.019

Problem 203

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A F(-2) N/A F(-1) N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

31 31 33 29 0 249 0 31 32

N.S.

1 1.00 1.06 0.94 0.00 8.03 0.00 1.00 1.03

time (sec)

N/A 0.053 32.676 0.898 0.000 0.253 0.000 0.339 1.086

Problem 204

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A F(-2) N/A F(-1) N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

31 31 33 29 0 327 0 31 32

N.S.

1 1.00 1.06 0.94 0.00 10.55 0.00 1.00 1.03

time (sec)

N/A 0.053 15.866 0.907 0.000 0.255 0.000 0.482 1.207

Problem 205

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B B F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

313 313 341 1034 580 1000 0 0 0

N.S.

1 1.00 1.09 3.30 1.85 3.19 0.00 0.00 0.00

time (sec)

N/A 0.348 2.588 1.981 0.380 0.271 0.000 0.000 0.000

Problem 206

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B A B F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

224 224 275 573 347 559 0 0 0

N.S.

1 1.00 1.23 2.56 1.55 2.50 0.00 0.00 0.00

time (sec)

N/A 0.258 1.867 1.777 0.359 0.263 0.000 0.000 0.000

Problem 207

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A F B F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

126 126 257 211 0 211 0 0 0

N.S.

1 1.00 2.04 1.67 0.00 1.67 0.00 0.00 0.00

time (sec)

N/A 0.107 2.225 1.689 0.000 0.258 0.000 0.000 0.000

Problem 208

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

41 41 52 36 62 57 0 48 56

N.S.

1 1.00 1.27 0.88 1.51 1.39 0.00 1.17 1.37

time (sec)

N/A 0.044 0.051 1.060 0.194 0.246 0.000 0.275 1.643

Problem 209

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

29 29 31 27 169 235 39 29 32

N.S.

1 1.00 1.07 0.93 5.83 8.10 1.34 1.00 1.10

time (sec)

N/A 0.036 35.039 0.780 0.374 0.254 14.904 17.160 1.346

Problem 210

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A F(-1) N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

29 29 31 27 277 341 71 0 32

N.S.

1 1.00 1.07 0.93 9.55 11.76 2.45 0.00 1.10

time (sec)

N/A 0.036 43.145 0.862 0.461 0.272 168.504 0.000 1.707

Problem 211

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B B B F F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

419 419 1205 1604 939 2562 0 0 0

N.S.

1 1.00 2.88 3.83 2.24 6.11 0.00 0.00 0.00

time (sec)

N/A 0.588 8.704 3.171 0.421 0.296 0.000 0.000 0.000

Problem 212

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B B B F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

296 296 803 889 601 1355 0 0 0

N.S.

1 1.00 2.71 3.00 2.03 4.58 0.00 0.00 0.00

time (sec)

N/A 0.412 8.081 2.523 0.419 0.275 0.000 0.000 0.000

Problem 213

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F B F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

163 163 366 334 0 506 0 0 0

N.S.

1 1.00 2.25 2.05 0.00 3.10 0.00 0.00 0.00

time (sec)

N/A 0.172 3.076 2.074 0.000 0.271 0.000 0.000 0.000

Problem 214

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

57 57 61 63 109 146 0 90 122

N.S.

1 1.00 1.07 1.11 1.91 2.56 0.00 1.58 2.14

time (sec)

N/A 0.064 0.164 1.602 0.199 0.255 0.000 0.290 2.255

Problem 215

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A F(-1) N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

31 31 33 29 330 342 41 0 32

N.S.

1 1.00 1.06 0.94 10.65 11.03 1.32 0.00 1.03

time (sec)

N/A 0.055 70.539 0.689 0.512 0.268 15.969 0.000 1.280

Problem 216

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A F(-1) F(-1) N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

31 31 33 29 477 500 0 0 32

N.S.

1 1.00 1.06 0.94 15.39 16.13 0.00 0.00 1.03

time (sec)

N/A 0.054 82.980 0.849 0.706 0.284 0.000 0.000 1.471

Problem 217

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B B B F(-1) F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

546 546 2585 2124 1320 4252 0 0 0

N.S.

1 1.00 4.73 3.89 2.42 7.79 0.00 0.00 0.00

time (sec)

N/A 0.871 90.159 3.278 0.523 0.315 0.000 0.000 0.000

Problem 218

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B B B F F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

368 368 1496 1147 863 2215 0 0 0

N.S.

1 1.00 4.07 3.12 2.35 6.02 0.00 0.00 0.00

time (sec)

N/A 0.609 8.799 2.778 0.464 0.282 0.000 0.000 0.000

Problem 219

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F B F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

214 214 461 441 0 817 0 0 0

N.S.

1 1.00 2.15 2.06 0.00 3.82 0.00 0.00 0.00

time (sec)

N/A 0.280 3.545 2.377 0.000 0.283 0.000 0.000 0.000

Problem 220

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

87 87 90 91 156 234 0 97 132

N.S.

1 1.00 1.03 1.05 1.79 2.69 0.00 1.11 1.52

time (sec)

N/A 0.098 0.355 1.361 0.204 0.261 0.000 0.284 1.424

Problem 221

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A F(-1) N/A N/A N/A N/A F(-1) N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

31 31 0 29 775 903 41 0 32

N.S.

1 1.00 0.00 0.94 25.00 29.13 1.32 0.00 1.03

time (sec)

N/A 0.056 0.000 0.913 0.816 0.292 42.900 0.000 4.639

Problem 222

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A F(-1) N/A N/A N/A F(-1) F(-1) N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

31 31 0 29 975 1144 0 0 32

N.S.

1 1.00 0.00 0.94 31.45 36.90 0.00 0.00 1.03

time (sec)

N/A 0.056 0.000 0.953 1.184 0.323 0.000 0.000 7.164

Problem 223

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F B F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

453 453 608 0 0 1112 0 0 0

N.S.

1 1.00 1.34 0.00 0.00 2.45 0.00 0.00 0.00

time (sec)

N/A 0.585 1.087 0.000 0.000 0.278 0.000 0.000 0.000

Problem 224

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F B F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

337 337 367 0 0 782 0 0 0

N.S.

1 1.00 1.09 0.00 0.00 2.32 0.00 0.00 0.00

time (sec)

N/A 0.499 0.771 0.000 0.000 0.256 0.000 0.000 0.000

Problem 225

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F B F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

220 220 189 440 0 500 0 0 0

N.S.

1 1.00 0.86 2.00 0.00 2.27 0.00 0.00 0.00

time (sec)

N/A 0.284 0.567 1.525 0.000 0.270 0.000 0.000 0.000

Problem 226

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B C A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

54 54 64 82 85 186 269 84 121

N.S.

1 1.00 1.19 1.52 1.57 3.44 4.98 1.56 2.24

time (sec)

N/A 0.053 0.301 0.812 0.297 0.253 31.846 0.297 1.602

Problem 227

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A F(-1) N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

26 26 28 26 88 34 0 28 28

N.S.

1 1.00 1.08 1.00 3.38 1.31 0.00 1.08 1.08

time (sec)

N/A 0.033 2.479 0.365 0.318 0.249 0.000 0.409 0.947

Problem 228

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F B F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

551 551 979 0 0 2612 0 0 0

N.S.

1 1.00 1.78 0.00 0.00 4.74 0.00 0.00 0.00

time (sec)

N/A 0.707 1.895 0.000 0.000 0.341 0.000 0.000 0.000

Problem 229

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F B F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

407 407 453 0 0 1689 0 0 0

N.S.

1 1.00 1.11 0.00 0.00 4.15 0.00 0.00 0.00

time (sec)

N/A 0.596 1.881 0.000 0.000 0.301 0.000 0.000 0.000

Problem 230

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F B F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

264 264 261 510 0 946 0 0 0

N.S.

1 1.00 0.99 1.93 0.00 3.58 0.00 0.00 0.00

time (sec)

N/A 0.343 2.748 1.889 0.000 0.270 0.000 0.000 0.000

Problem 231

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

71 71 74 121 119 331 1748 111 166

N.S.

1 1.00 1.04 1.70 1.68 4.66 24.62 1.56 2.34

time (sec)

N/A 0.088 1.111 0.922 0.275 0.261 176.255 0.315 1.086

Problem 232

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A F(-1) N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

28 28 30 28 158 36 0 30 30

N.S.

1 1.00 1.07 1.00 5.64 1.29 0.00 1.07 1.07

time (sec)

N/A 0.053 9.307 0.848 0.344 0.237 0.000 0.455 0.998

Problem 233

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F B F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

712 712 1407 0 0 5191 0 0 0

N.S.

1 1.00 1.98 0.00 0.00 7.29 0.00 0.00 0.00

time (sec)

N/A 0.873 4.151 0.000 0.000 0.360 0.000 0.000 0.000

Problem 234

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F B F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

522 522 740 0 0 3247 0 0 0

N.S.

1 1.00 1.42 0.00 0.00 6.22 0.00 0.00 0.00

time (sec)

N/A 0.730 4.102 0.000 0.000 0.325 0.000 0.000 0.000

Problem 235

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F B F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

335 335 306 589 0 1727 0 0 0

N.S.

1 1.00 0.91 1.76 0.00 5.16 0.00 0.00 0.00

time (sec)

N/A 0.425 5.507 1.734 0.000 0.309 0.000 0.000 0.000

Problem 236

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

107 107 101 191 164 601 0 151 212

N.S.

1 1.00 0.94 1.79 1.53 5.62 0.00 1.41 1.98

time (sec)

N/A 0.153 3.127 1.074 0.303 0.256 0.000 0.304 1.180

Problem 237

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A F(-1) N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

28 28 30 28 236 36 0 30 30

N.S.

1 1.00 1.07 1.00 8.43 1.29 0.00 1.07 1.07

time (sec)

N/A 0.053 11.113 0.664 0.405 0.263 0.000 0.531 1.079

Problem 238

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F B F F(-1) F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

605 605 734 0 0 1645 0 0 0

N.S.

1 1.00 1.21 0.00 0.00 2.72 0.00 0.00 0.00

time (sec)

N/A 0.686 1.734 0.000 0.000 0.292 0.000 0.000 0.000

Problem 239

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F B F F(-1) F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

433 433 454 0 0 1096 0 0 0

N.S.

1 1.00 1.05 0.00 0.00 2.53 0.00 0.00 0.00

time (sec)

N/A 0.581 1.233 0.000 0.000 0.287 0.000 0.000 0.000

Problem 240

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F B F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

261 261 267 532 0 649 0 0 0

N.S.

1 1.00 1.02 2.04 0.00 2.49 0.00 0.00 0.00

time (sec)

N/A 0.316 2.062 2.254 0.000 0.278 0.000 0.000 0.000

Problem 241

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

64 64 82 63 112 223 0 102 347

N.S.

1 1.00 1.28 0.98 1.75 3.48 0.00 1.59 5.42

time (sec)

N/A 0.062 0.753 1.000 0.272 0.276 0.000 0.297 1.202

Problem 242

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A F(-1) N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

26 26 28 26 28 34 22 0 30

N.S.

1 1.00 1.08 1.00 1.08 1.31 0.85 0.00 1.15

time (sec)

N/A 0.032 4.598 0.908 0.436 0.263 5.750 0.000 0.993

Problem 243

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B F F B F F(-1) F(-1)

verified

N/A Yes No N/A TBD TBD TBD TBD TBD

size

745 745 1493 0 0 6416 0 0 0

N.S.

1 1.00 2.00 0.00 0.00 8.61 0.00 0.00 0.00

time (sec)

N/A 0.920 8.539 0.000 0.000 0.386 0.000 0.000 0.000

Problem 244

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F B F F(-1) F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

535 535 920 0 0 3805 0 0 0

N.S.

1 1.00 1.72 0.00 0.00 7.11 0.00 0.00 0.00

time (sec)

N/A 0.720 7.987 0.000 0.000 0.327 0.000 0.000 0.000

Problem 245

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F B F F(-1) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

306 306 350 626 0 1830 0 0 0

N.S.

1 1.00 1.14 2.05 0.00 5.98 0.00 0.00 0.00

time (sec)

N/A 0.386 5.912 1.625 0.000 0.312 0.000 0.000 0.000

Problem 246

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

80 80 113 97 137 479 0 123 360

N.S.

1 1.00 1.41 1.21 1.71 5.99 0.00 1.54 4.50

time (sec)

N/A 0.108 1.820 0.767 0.287 0.283 0.000 0.338 0.442

Problem 247

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A F(-1) N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

28 28 30 28 304 36 24 0 30

N.S.

1 1.00 1.07 1.00 10.86 1.29 0.86 0.00 1.07

time (sec)

N/A 0.052 92.953 0.848 0.568 0.296 6.033 0.000 1.150

Problem 248

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B F F B F(-1) F(-1) F(-1)

verified

N/A Yes No N/A TBD TBD TBD TBD TBD

size

1053 1053 2801 0 0 18159 0 0 0

N.S.

1 1.00 2.66 0.00 0.00 17.25 0.00 0.00 0.00

time (sec)

N/A 1.216 9.459 0.000 0.000 0.584 0.000 0.000 0.000

Problem 249

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B F F B F F(-1) F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

725 725 1532 0 0 10341 0 0 0

N.S.

1 1.00 2.11 0.00 0.00 14.26 0.00 0.00 0.00

time (sec)

N/A 0.929 8.242 0.000 0.000 0.398 0.000 0.000 0.000

Problem 250

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F B F F(-1) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

420 420 617 861 0 4720 0 0 0

N.S.

1 1.00 1.47 2.05 0.00 11.24 0.00 0.00 0.00

time (sec)

N/A 0.501 8.416 1.953 0.000 0.350 0.000 0.000 0.000

Problem 251

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

113 113 167 142 211 1203 0 176 776

N.S.

1 1.00 1.48 1.26 1.87 10.65 0.00 1.56 6.87

time (sec)

N/A 0.270 2.437 0.878 0.278 0.299 0.000 0.301 1.569

Problem 252

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A F(-1) N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

28 28 30 28 757 36 24 0 30

N.S.

1 1.00 1.07 1.00 27.04 1.29 0.86 0.00 1.07

time (sec)

N/A 0.049 77.769 0.566 0.957 0.303 17.855 0.000 1.473

Problem 253

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B B F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

139 139 118 647 264 299 0 0 0

N.S.

1 1.00 0.85 4.65 1.90 2.15 0.00 0.00 0.00

time (sec)

N/A 0.145 0.053 6.173 0.291 0.250 0.000 0.000 0.000

Problem 254

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B A B F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

106 106 94 405 164 184 0 0 0

N.S.

1 1.00 0.89 3.82 1.55 1.74 0.00 0.00 0.00

time (sec)

N/A 0.126 0.031 2.900 0.285 0.255 0.000 0.000 0.000

Problem 255

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

73 73 66 188 0 91 0 0 0

N.S.

1 1.00 0.90 2.58 0.00 1.25 0.00 0.00 0.00

time (sec)

N/A 0.076 0.022 1.832 0.000 0.252 0.000 0.000 0.000

Problem 256

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

23 23 23 38 20 23 22 30 19

N.S.

1 1.00 1.00 1.65 0.87 1.00 0.96 1.30 0.83

time (sec)

N/A 0.020 0.012 0.965 0.186 0.240 0.104 0.274 0.974

Problem 257

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

29 29 31 27 48 40 39 29 30

N.S.

1 1.00 1.07 0.93 1.66 1.38 1.34 1.00 1.03

time (sec)

N/A 0.034 6.357 0.506 0.270 0.241 4.972 0.293 1.027

Problem 258

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

29 29 31 27 75 64 71 29 30

N.S.

1 1.00 1.07 0.93 2.59 2.21 2.45 1.00 1.03

time (sec)

N/A 0.035 26.406 0.489 0.294 0.245 22.514 0.353 1.101

Problem 259

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B B A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

108 108 106 266 373 263 518 355 269

N.S.

1 1.00 0.98 2.46 3.45 2.44 4.80 3.29 2.49

time (sec)

N/A 0.113 1.371 15.665 0.352 0.253 0.362 0.290 1.554

Problem 260

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B B A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

82 82 78 160 270 160 318 208 167

N.S.

1 1.00 0.95 1.95 3.29 1.95 3.88 2.54 2.04

time (sec)

N/A 0.088 0.945 6.809 0.314 0.234 0.290 0.281 1.314

Problem 261

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

56 56 57 70 188 76 167 96 87

N.S.

1 1.00 1.02 1.25 3.36 1.36 2.98 1.71 1.55

time (sec)

N/A 0.048 2.255 3.081 0.258 0.237 0.199 0.279 1.154

Problem 262

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A B A A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

22 22 139 40 44 40 78 41 36

N.S.

1 1.00 6.32 1.82 2.00 1.82 3.55 1.86 1.64

time (sec)

N/A 0.030 0.121 2.845 0.223 0.235 0.130 0.276 0.964

Problem 263

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

76 76 62 103 76 79 0 76 0

N.S.

1 1.00 0.82 1.36 1.00 1.04 0.00 1.00 0.00

time (sec)

N/A 0.141 0.432 12.949 0.286 0.246 0.000 0.277 0.000

Problem 264

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

103 103 85 164 92 129 0 572 0

N.S.

1 1.00 0.83 1.59 0.89 1.25 0.00 5.55 0.00

time (sec)

N/A 0.155 0.545 29.965 0.332 0.254 0.000 0.324 0.000

Problem 265

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-2) A B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

231 231 134 429 0 405 1040 618 449

N.S.

1 1.00 0.58 1.86 0.00 1.75 4.50 2.68 1.94

time (sec)

N/A 0.179 1.857 34.932 0.000 0.248 0.595 0.293 1.873

Problem 266

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

171 171 99 241 0 227 631 338 271

N.S.

1 1.00 0.58 1.41 0.00 1.33 3.69 1.98 1.58

time (sec)

N/A 0.133 1.310 16.567 0.000 0.231 0.440 0.299 1.552

Problem 267

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

98 98 60 113 0 92 321 138 144

N.S.

1 1.00 0.61 1.15 0.00 0.94 3.28 1.41 1.47

time (sec)

N/A 0.070 2.714 6.805 0.000 0.238 0.304 0.280 1.313

Problem 268

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

34 34 28 30 60 49 133 55 29

N.S.

1 1.00 0.82 0.88 1.76 1.44 3.91 1.62 0.85

time (sec)

N/A 0.032 0.043 6.341 0.216 0.241 0.165 0.284 1.039

Problem 269

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

131 131 112 180 0 127 0 144 0

N.S.

1 1.00 0.85 1.37 0.00 0.97 0.00 1.10 0.00

time (sec)

N/A 0.228 0.516 33.333 0.000 0.241 0.000 0.281 0.000

Problem 270

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F(-1) B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

180 180 212 299 0 226 0 1080 0

N.S.

1 1.00 1.18 1.66 0.00 1.26 0.00 6.00 0.00

time (sec)

N/A 0.273 0.695 117.283 0.000 0.245 0.000 0.348 0.000

Problem 271

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B A B F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

463 463 828 1080 685 1461 0 0 0

N.S.

1 1.00 1.79 2.33 1.48 3.16 0.00 0.00 0.00

time (sec)

N/A 0.334 8.072 22.217 0.407 0.262 0.000 0.000 0.000

Problem 272

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B A B F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

268 268 530 550 387 805 0 0 0

N.S.

1 1.00 1.98 2.05 1.44 3.00 0.00 0.00 0.00

time (sec)

N/A 0.194 5.797 9.474 0.396 0.250 0.000 0.000 0.000

Problem 273

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A F B F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

161 161 400 218 0 352 0 0 0

N.S.

1 1.00 2.48 1.35 0.00 2.19 0.00 0.00 0.00

time (sec)

N/A 0.099 2.236 5.384 0.000 0.249 0.000 0.000 0.000

Problem 274

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

42 42 30 64 87 102 0 102 74

N.S.

1 1.00 0.71 1.52 2.07 2.43 0.00 2.43 1.76

time (sec)

N/A 0.040 0.036 3.741 0.222 0.260 0.000 0.276 1.910

Problem 275

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

29 29 31 27 327 391 39 29 32

N.S.

1 1.00 1.07 0.93 11.28 13.48 1.34 1.00 1.10

time (sec)

N/A 0.034 84.097 0.699 0.489 0.271 4.151 1.990 1.160

Problem 276

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A F(-1) N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

29 29 0 27 436 511 71 29 32

N.S.

1 1.00 0.00 0.93 15.03 17.62 2.45 1.00 1.10

time (sec)

N/A 0.034 0.000 1.038 0.614 0.257 30.129 32.952 1.211

Problem 277

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B A B F F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

450 450 1078 1021 730 1405 0 0 0

N.S.

1 1.00 2.40 2.27 1.62 3.12 0.00 0.00 0.00

time (sec)

N/A 0.423 8.475 89.800 0.487 0.266 0.000 0.000 0.000

Problem 278

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F B F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

325 325 575 510 0 714 0 0 0

N.S.

1 1.00 1.77 1.57 0.00 2.20 0.00 0.00 0.00

time (sec)

N/A 0.283 4.610 24.633 0.000 0.253 0.000 0.000 0.000

Problem 279

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

158 158 194 143 251 201 0 260 205

N.S.

1 1.00 1.23 0.91 1.59 1.27 0.00 1.65 1.30

time (sec)

N/A 0.112 2.755 11.562 0.259 0.258 0.000 0.278 3.458

Problem 280

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

47 47 47 43 104 54 0 59 43

N.S.

1 1.00 1.00 0.91 2.21 1.15 0.00 1.26 0.91

time (sec)

N/A 0.040 0.046 10.224 0.221 0.235 0.000 0.270 1.218

Problem 281

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A F(-1) N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

31 31 0 29 632 768 41 31 32

N.S.

1 1.00 0.00 0.94 20.39 24.77 1.32 1.00 1.03

time (sec)

N/A 0.053 0.000 1.090 0.657 0.260 4.187 53.274 1.392

Problem 282

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A F(-1) N/A N/A N/A N/A F(-1) N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

31 31 0 29 762 919 73 0 32

N.S.

1 1.00 0.00 0.94 24.58 29.65 2.35 0.00 1.03

time (sec)

N/A 0.052 0.000 0.893 0.902 0.254 31.370 0.000 1.430

Problem 283

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F(-2) B F F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

667 667 2008 1909 0 3854 0 0 0

N.S.

1 1.00 3.01 2.86 0.00 5.78 0.00 0.00 0.00

time (sec)

N/A 0.501 9.268 188.518 0.000 0.292 0.000 0.000 0.000

Problem 284

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F(-2) B F F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

423 423 1363 961 0 2066 0 0 0

N.S.

1 1.00 3.22 2.27 0.00 4.88 0.00 0.00 0.00

time (sec)

N/A 0.293 8.179 87.451 0.000 0.287 0.000 0.000 0.000

Problem 285

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A F(-2) B F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

233 233 617 396 0 917 0 0 0

N.S.

1 1.00 2.65 1.70 0.00 3.94 0.00 0.00 0.00

time (sec)

N/A 0.142 4.016 25.566 0.000 0.266 0.000 0.000 0.000

Problem 286

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

91 91 101 125 0 287 0 173 137

N.S.

1 1.00 1.11 1.37 0.00 3.15 0.00 1.90 1.51

time (sec)

N/A 0.061 0.080 24.693 0.000 0.248 0.000 0.349 1.819

Problem 287

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A F(-2) N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

31 31 33 29 0 1783 41 31 32

N.S.

1 1.00 1.06 0.94 0.00 57.52 1.32 1.00 1.03

time (sec)

N/A 0.054 51.852 0.782 0.000 0.305 8.770 150.912 1.911

Problem 288

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A F(-1) F(-1) F(-2) N/A N/A F(-1) N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

31 31 0 0 0 2026 73 0 32

N.S.

1 1.00 0.00 0.00 0.00 65.35 2.35 0.00 1.03

time (sec)

N/A 0.054 0.000 180.000 0.000 0.318 31.246 0.000 2.049

Problem 289

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F B F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

356 356 329 0 0 882 0 0 0

N.S.

1 1.00 0.92 0.00 0.00 2.48 0.00 0.00 0.00

time (sec)

N/A 0.349 0.118 0.000 0.000 0.268 0.000 0.000 0.000

Problem 290

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F B F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

264 264 244 0 0 609 0 0 0

N.S.

1 1.00 0.92 0.00 0.00 2.31 0.00 0.00 0.00

time (sec)

N/A 0.299 0.107 0.000 0.000 0.242 0.000 0.000 0.000

Problem 291

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F B F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

170 170 157 412 0 380 0 0 0

N.S.

1 1.00 0.92 2.42 0.00 2.24 0.00 0.00 0.00

time (sec)

N/A 0.168 0.029 1.470 0.000 0.260 0.000 0.000 0.000

Problem 292

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

18 18 18 19 18 44 41 33 18

N.S.

1 1.00 1.00 1.06 1.00 2.44 2.28 1.83 1.00

time (sec)

N/A 0.020 0.007 0.434 0.184 0.234 0.825 0.299 0.912

Problem 293

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A F(-1) N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

26 26 28 26 93 34 0 28 28

N.S.

1 1.00 1.08 1.00 3.58 1.31 0.00 1.08 1.08

time (sec)

N/A 0.032 5.340 0.306 0.302 0.245 0.000 0.350 0.999

Problem 294

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F B F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

527 527 933 0 0 2020 0 0 0

N.S.

1 1.00 1.77 0.00 0.00 3.83 0.00 0.00 0.00

time (sec)

N/A 0.638 1.551 0.000 0.000 0.290 0.000 0.000 0.000

Problem 295

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F B F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

389 389 447 0 0 1313 0 0 0

N.S.

1 1.00 1.15 0.00 0.00 3.38 0.00 0.00 0.00

time (sec)

N/A 0.562 1.409 0.000 0.000 0.272 0.000 0.000 0.000

Problem 296

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F B F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

252 252 258 901 0 742 0 0 0

N.S.

1 1.00 1.02 3.58 0.00 2.94 0.00 0.00 0.00

time (sec)

N/A 0.306 1.606 2.427 0.000 0.274 0.000 0.000 0.000

Problem 297

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A A B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

68 68 458 122 116 259 503 110 121

N.S.

1 1.00 6.74 1.79 1.71 3.81 7.40 1.62 1.78

time (sec)

N/A 0.086 1.047 1.466 0.274 0.245 125.598 0.291 1.174

Problem 298

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A F(-1) N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

28 28 30 28 166 36 0 30 30

N.S.

1 1.00 1.07 1.00 5.93 1.29 0.00 1.07 1.07

time (sec)

N/A 0.053 9.765 0.604 0.332 0.243 0.000 0.427 0.983

Problem 299

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B F F B F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

642 642 1977 0 0 4371 0 0 0

N.S.

1 1.00 3.08 0.00 0.00 6.81 0.00 0.00 0.00

time (sec)

N/A 0.536 10.712 0.000 0.000 0.310 0.000 0.000 0.000

Problem 300

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B F F B F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

477 477 1253 0 0 2726 0 0 0

N.S.

1 1.00 2.63 0.00 0.00 5.71 0.00 0.00 0.00

time (sec)

N/A 0.454 9.311 0.000 0.000 0.296 0.000 0.000 0.000